Symbolic computation

Results: 169



#Item
11Symbolic Computation of Differential Equivalences ∗ Ar tifact

Symbolic Computation of Differential Equivalences ∗ Ar tifact

Add to Reading List

Source URL: cse.lab.imtlucca.it

- Date: 2017-04-12 13:01:12
    12SCSS2016 The 7th International Symposium on Symbolic Computation in Software Science Ochanomizu University | March, 2016, science bldg. 3, room 701 The program March 28, 2016 (Monday)

    SCSS2016 The 7th International Symposium on Symbolic Computation in Software Science Ochanomizu University | March, 2016, science bldg. 3, room 701 The program March 28, 2016 (Monday)

    Add to Reading List

    Source URL: 54.200.129.9

    - Date: 2016-03-27 05:02:02
      132 Satisfiability Checking and Symbolic Computation (SC

      2 Satisfiability Checking and Symbolic Computation (SC

      Add to Reading List

      Source URL: computing.coventry.ac.uk

      - Date: 2016-07-18 08:02:47
        14SC2 : Satisfiability Checking meets Symbolic Computation: www.sc-square.org James Davenport Hebron & Medlock Professor of Information Technology1 University of Bath (U.K.)

        SC2 : Satisfiability Checking meets Symbolic Computation: www.sc-square.org James Davenport Hebron & Medlock Professor of Information Technology1 University of Bath (U.K.)

        Add to Reading List

        Source URL: staff.bath.ac.uk

        - Date: 2016-08-04 10:46:26
          15SCSS2016 The 7th International Symposium on Symbolic Computation in Software Science Ochanomizu University | March, 2016, science bldg. 3, room 701 March 28, 2016 (Monday) 09:00 ~ 10:30 Registration 10:30 ~ 12:30

          SCSS2016 The 7th International Symposium on Symbolic Computation in Software Science Ochanomizu University | March, 2016, science bldg. 3, room 701 March 28, 2016 (Monday) 09:00 ~ 10:30 Registration 10:30 ~ 12:30

          Add to Reading List

          Source URL: 54.200.129.9

          - Date: 2016-03-29 01:33:24
            16J. Symbolic Computation, 71-84 Constructing Type Systems over an Operational Semantics ROBERT HARPER

            J. Symbolic Computation, 71-84 Constructing Type Systems over an Operational Semantics ROBERT HARPER

            Add to Reading List

            Source URL: www.cs.uoregon.edu

            - Date: 2010-06-25 18:00:46
              17High-Performance Symbolic Computation in a Hybrid Compiled-Interpreted Programming Environment Xin Li Ontario Research Center for Computer Algebra University of Western Ontario London, Ontario, Canada

              High-Performance Symbolic Computation in a Hybrid Compiled-Interpreted Programming Environment Xin Li Ontario Research Center for Computer Algebra University of Western Ontario London, Ontario, Canada

              Add to Reading List

              Source URL: www.csd.uwo.ca

              - Date: 2008-12-16 23:38:33
                18LISP AND SYMBOLIC COMPUTATION: An International Journal, 6, 233–247, 1993 c 1993 Kluwer Academic Publishers – Manufactured in The Netherlands The Discoveries of Continuations JOHN C. REYNOLDS

                LISP AND SYMBOLIC COMPUTATION: An International Journal, 6, 233–247, 1993 c 1993 Kluwer Academic Publishers – Manufactured in The Netherlands The Discoveries of Continuations JOHN C. REYNOLDS

                Add to Reading List

                Source URL: www.cs.ru.nl

                - Date: 2011-10-14 14:39:41
                  19Surprisal-based comparison between a symbolic and a connectionist model of sentence processing Stefan L. Frank () Institute for Logic, Language and Computation University of Amsterdam Science Park 904, 10

                  Surprisal-based comparison between a symbolic and a connectionist model of sentence processing Stefan L. Frank () Institute for Logic, Language and Computation University of Amsterdam Science Park 904, 10

                  Add to Reading List

                  Source URL: www.stefanfrank.info

                  - Date: 2012-03-11 05:05:07